(a^2 (a x+b-x^2)^2)/(a^2+1)^2 + (a^2 (-x^2)+a^2 x^2+a x+b-x^2)^2/(a^2+1)^2 = s^2